Danish formelle metoder for asynkrone systemer: la traduction en autres langues